1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
2. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
3. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
4. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
5. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
6. Endliche Strukturen /
پدیدآورنده : Kristina Reiss, Gernot Stroth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.,Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.
رده :
QA300
.
R45
2011eb
7. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
8. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
9. Model theoretic algebra : With particular emphasis on fields, rings, modules
پدیدآورنده : Jensen, Christian Ulrik, 6391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Algebra
رده :
QA
9
.
7
.
J3
10. Model theory and algebra: a memorial tribute to Abraham Robinson
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Robinson, Abraham,8191-4791,، Model theory,، Algebra
رده :
QA
3
.
L28
no
.
498
11. Model theory and algebra; A memorial tribute to Abraham Robinson
پدیدآورنده : / edited by D. H. Saracino and V. B. Weispfenning
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Model theory - Addresses, essays, lectures,Algebra - Addresses, essays, lectures,Robinson, Abraham, 1918-1974
رده :
510
.
8
L471
No
.
498
12. Model theory and algebra : a memorial tribute to Abraham Robinson
پدیدآورنده : edited by D. Saracino and V. B. Weispfenning
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Addresses, essays, lectures ، Model theory,Addresses, essays, lectures ، Algebra,، Robinson, Abraham, 8191-4791
رده :
QA
1
.
L4
v
.
498
13. Model theory and algebra : a memorial tribute to Abraham Robinson
پدیدآورنده : edited by D. H. Saracino and V. B. Weispfenning
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Model theory,Addresses, essays, lectures ، Algebra,، Robinson, Abraham, 8191-4791
رده :
QA
3
.
L28
Vol
.
498
14. Model theory and algebra: a memorial tribute to Abraham Robinson
پدیدآورنده : edited by D.H.Saracino and V.B.Weispfenning
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Addresses, essays, lectures ، Model theory,Addresses, essays, lectures ، Algebra,، Robinson, Abraham, 8191-4791
رده :
QA
3
.
L28
no
.
498
15. Model theory and modules
پدیدآورنده : Mike Prest
موضوع : Model theory,Modules (Algebra)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Model theory and modules
پدیدآورنده : Prest, Mike
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Modules )Algebra(
رده :
QA
9
.
7
.
P74
1988
17. Model theory and modules
پدیدآورنده : Prest, Mike.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Model theory,، Modules )Algebra(
رده :
QA
9
.
7
.
P74
1988
18. Model theory in algebra, analysis and arithmetic
پدیدآورنده : Dries, Lou Van den.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Model theory in algebra,,، analysis and arithmetic
رده :
QA
3
.
M63
2014
19. Models, modules and Abelian groups :
پدیدآورنده : editors, Rüdiger Göbel, Brendan Goldsmith.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abelian groups.,Endomorphism rings.,Model theory.,Modules (Algebra),Abelian groups.,Abelsche Gruppe,Algebra,Endomorphism rings.,MATHEMATICS-- Algebra-- Intermediate.,Model theory.,Modules (Algebra)
رده :
QA155
.
M64
2008eb
20. The metamathematics of algebraic systems. Collected papers : 1936-1967
پدیدآورنده : Mal'tsev, Anatolii Ivanovich
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics-- Collected Works,، Model theory-- Collected works,، Algebra-- Collected works
رده :
QA
9
.
M2813
